This is a fix for some device model corner cases including:
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 4 Nov 2005 10:08:45 +0000 (11:08 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 4 Nov 2005 10:08:45 +0000 (11:08 +0100)
commit215f35f5c119573eb1c8f6f38e33d54d464fe575
treea0de5ce41bc73449dcf0298cfb740b62fbecd3fc
parentd0f9b588c0e0500272f6d646d36b51f10a1d749e
This is a fix for some device model corner cases including:
 1: mistake sequence of set/clr to virtual IRQ line.
 2: wrong sequence of IRQ request clear
 3: Add one more place to enable_irq_window.

Signed-off-by: Eddie Dong <eddie.dong@intel.com>
tools/ioemu/hw/i8259_stub.c
xen/arch/x86/dm/i8259.c
xen/arch/x86/vmx_io.c